The Cantor–Schröder–Bernstein Theorem for $$\infty $$-groupoids

نویسندگان

چکیده

Abstract We show that the Cantor–Schröder–Bernstein Theorem for homotopy types, or $$\infty $$ ? -groupoids, holds in following form: For any two if each one is embedded into other, then they are equivalent. The argument developed language of type theory, Voevodsky’s univalent foundations (HoTT/UF), and requires classical logic. It follows theorem boolean -topos.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Groupoids and Van Kampen's Theorem

Introduction The fundamental groupoid TT(X) of a topological space X has been known for a long time but has been regarded, usually, as of little import in comparison with the fundamental group—for example, the groupoid is described in ((3) 155) as an 'interesting curiosity'. In this paper we shall generalize the fundamental group at a point a of X, namely 7r(X,a), to the fundamental groupoid on...

متن کامل

A Riemann-roch Theorem for One-dimensional Complex Groupoids

We consider a smooth groupoid of the form Σ ⋊ Γ where Σ is a Riemann surface and Γ a discrete pseudogroup acting on Σ by local conformal diffeomorphisms. After defining a K-cycle on the crossed product C0(Σ) ⋊ Γ generalising the classical Dolbeault complex, we compute its Chern character in cyclic cohomology, using the index theorem of Connes and Moscovici. This involves in particular a general...

متن کامل

Renault’s Equivalence Theorem for C∗-Algebras of Étale Groupoids

The purpose of this paper is to prove directly that if two locally compact Hausdorff étale groupoids are Morita equivalent, then their reduced groupoid C∗-algebras are Morita equivalent.

متن کامل

Groupoids, the Phragmen-brouwer Property, and the Jordan Curve Theorem

We publicise a proof of the Jordan Curve Theorem which relates it to the Phragmen-Brouwer Property, and whose proof uses the van Kampen theorem for the fundamental groupoid on a set of base points.

متن کامل

The Muhly–Renault–Williams theorem for Lie groupoids and its classical counterpart

A theorem of Muhly–Renault–Williams states that if two locally compact groupoids with Haar system are Morita equivalent, then their associated convolution C-algebras are strongly Morita equivalent. We give a new proof of this theorem for Lie groupoids. Subsequently, we prove a counterpart of this theorem in Poisson geometry: If two Morita equivalent Lie groupoids are s-connected and s-simply co...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Homotopy and Related Structures

سال: 2021

ISSN: ['2193-8407']

DOI: https://doi.org/10.1007/s40062-021-00284-6